/*
 * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */
#ifndef TBB_EXT_H_
#define TBB_EXT_H_

#include "ext.h"

/* TBBR extensions */
enum {
    TRUSTED_FW_NVCOUNTER_EXT,
    NON_TRUSTED_FW_NVCOUNTER_EXT,
    TRUSTED_BOOT_FW_HASH_EXT,
    TRUSTED_WORLD_PK_EXT,
    NON_TRUSTED_WORLD_PK_EXT,
    SCP_FW_CONTENT_CERT_PK_EXT,
    SCP_FW_HASH_EXT,
    SOC_FW_CONTENT_CERT_PK_EXT,
    SOC_AP_FW_HASH_EXT,
    TRUSTED_OS_FW_CONTENT_CERT_PK_EXT,
    TRUSTED_OS_FW_HASH_EXT,
    NON_TRUSTED_FW_CONTENT_CERT_PK_EXT,
    NON_TRUSTED_WORLD_BOOTLOADER_HASH_EXT,
    SCP_FWU_CFG_HASH_EXT,
    AP_FWU_CFG_HASH_EXT,
    FWU_HASH_EXT
};

#endif /* TBB_EXT_H_ */
